$\forall$$w$:World, $e$:E, $t$:$\mathbb{N}$.
\\[0ex]($\neg$($\uparrow$isnull(a(loc($e$);$t$)))) $\Rightarrow$ ($t$ $<$ time($e$)) $\Rightarrow$ \{($\neg$($\uparrow$first($e$))) c$\wedge$ ($t$ $\leq$ time(pred($e$)))\}